A Declarative Semantics for CLP with Qualification and Proximity

Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this paper we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an implementation-independent notion of goal solutions.Comment: 17 pages, 26th Int'l. Conference on Logic Programming (ICLP'10

A Transformation-based Implementation for CLP with Qualification and Proximity

Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP (proximity-based qualified constraint logic programming) scheme as a quite expressive extension of CLP with support for qualification values and proximity relations as generalizations of uncertainty values and similarity relations, respectively. In this paper we provide a transformation technique for transforming SQCLP programs and goals into semantically equivalent CLP programs and goals, and a practical Prolog-based implementation of some particularly useful instances of the SQCLP scheme. We also illustrate, by showing some simple-and working-examples, how the prototype can be effectively used as a tool for solving problems where qualification values and proximity relations play a key role. Intended use of SQCLP includes flexible information retrieval applications.Comment: 49 pages, 5 figures, 1 table, preliminary version of an article of the same title, published as Technical Report SIC-4-10, Universidad Complutense, Departamento de Sistemas Inform\'aticos y Computaci\'on, Madrid, Spai

Plant-based diets and risk of frailty in community-dwelling older adults: the Seniors-ENRICA-1 cohort

Frailty is a geriatric syndrome that leads to increased risk of hospitalization, disability, and death. The effect of plant-based diets defined by the quality of their plant foods is unclear. Our objective is to study the association between two plant-based diet indices and the occurrence of frailty among community-dwelling older adults in Spain. We analyzed data from 1880 individuals aged ≥ 60 years from the Spanish Seniors ENRICA-1 cohort. We used a validated diet history to build two indices: (a) the healthful Plant-based Diet Index (hPDI) where healthy plant foods received positive scores, whereas less-healthy plant foods and animal foods received reverse scores; and (b) the unhealthful Plant-based Diet Index (uPDI), with positive scores to less-healthy plant foods and reverse scores to animal and healthy plant foods. Incident frailty was defined with the Fried phenotype. Study associations were summarized with odds ratios (OR) and 95% confidence intervals (CI) obtained from multivariable logistic models. After 3.3 years of follow-up, 136 incident frailty cases were ascertained. Comparing the highest vs. the lowest tertile of adherence, the OR [95% CI] for frailty was 0.43 (0.25–0.74; p-trend =.003) for the hPDI, and 2.89 (1.73–4.84; p-trend <.001) for the uPDI. Higher consumption of healthy plant foods was inversely associated with frailty (0.39 [0.23–0.66; p-trend < 0.001]); higher consumption of unhealthy plant foods was associated with higher frailty risk (2.40 [1.23–4.71; p-trend =.01]). In older adults, the hPDI was associated with lower risk of frailty, while the opposite was found for the uPDIOpen Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. This work was supported by the Institute of Health Carlos III; the Secretary of R+D+I; the European Regional Development Fund/European Social Fund (FIS grant numbers 19/319, 20/896, FI29/00162 to MDV); the National Plan on Drugs (grant number 2020/17); Fundación Soria Melguizo (MITOFUN project); Ministry of Science, Innovation and Universities (grant number RYC 2018- 02069I to MSP); Universidad Autónoma de Madrid (FPI contract to ACC). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscrip

On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications

In this paper we analyse the benefits of incorporating interval-valued fuzzy sets into the Bousi-Prolog system. A syntax, declarative semantics and im- plementation for this extension is presented and formalised. We show, by using potential applications, that fuzzy logic programming frameworks enhanced with them can correctly work together with lexical resources and ontologies in order to improve their capabilities for knowledge representation and reasoning

Rationale of the association between Mediterranean diet and the risk of frailty in older adults and systematic review and meta-analysis

Frailty is a geriatric syndrome whose frequency is increasing in parallel with population aging and is of great interest due to its dire consequences: increased disability, hospitalizations, falls and fractures, institutionalization, and mortality. Frailty is multifactorial but nutritional factors, which are modifiable, play a crucial role in its pathogenesis. Epidemiologic evidence supports that high-quality dietary patterns can prevent, delay or even reverse the occurrence of frailty. In order to add new knowledge bridging the gap as the main purpose of the present article we performed a comprehensive review of the rationale behind the association of MedDiet with frailty and a systematic review and meta-analysis updating the latest ones published in 2018 specifically examining the relationship of Mediterranean diet (MedDiet) and incident frailty. Adding the updated information, our results confirmed a robust association of a higher adherence to MedDiet with reduced incident frailty. Key components of the MedDiet, i.e., abundant consumption of vegetables and fruit as well as the use of olive oil as the main source of fat, all of which have been associated with a lower incidence of frailty, may help explain the observed benefit. Future well-designed and sufficiently large intervention studies are needed to confirm the encouraging findings of the current observational evidence. Meanwhile, based on the existing evidence, the promotion of MedDiet, a high-quality dietary pattern, adapted to the conditions and traditions of each region, and considering lifelong and person-tailored strategies, is an open opportunity to reduced incident frailty. This could also help counteract the worrying trend towards the spread of unhealthy eating and lifestyle models such as those of Western diets that greatly contribute to the genesis of chronic non-communicable diseases and disabilit

Repositioning of the global epicentre of non-optimal cholesterol

High blood cholesterol is typically considered a feature of wealthy western countries(1,2). However, dietary and behavioural determinants of blood cholesterol are changing rapidly throughout the world(3) and countries are using lipid-lowering medications at varying rates. These changes can have distinct effects on the levels of high-density lipoprotein (HDL) cholesterol and non-HDL cholesterol, which have different effects on human health(4,5). However, the trends of HDL and non-HDL cholesterol levels over time have not been previously reported in a global analysis. Here we pooled 1,127 population-based studies that measured blood lipids in 102.6 million individuals aged 18 years and older to estimate trends from 1980 to 2018 in mean total, non-HDL and HDL cholesterol levels for 200 countries. Globally, there was little change in total or non-HDL cholesterol from 1980 to 2018. This was a net effect of increases in low- and middle-income countries, especially in east and southeast Asia, and decreases in high-income western countries, especially those in northwestern Europe, and in central and eastern Europe. As a result, countries with the highest level of non-HDL cholesterol-which is a marker of cardiovascular riskchanged from those in western Europe such as Belgium, Finland, Greenland, Iceland, Norway, Sweden, Switzerland and Malta in 1980 to those in Asia and the Pacific, such as Tokelau, Malaysia, The Philippines and Thailand. In 2017, high non-HDL cholesterol was responsible for an estimated 3.9 million (95% credible interval 3.7 million-4.2 million) worldwide deaths, half of which occurred in east, southeast and south Asia. The global repositioning of lipid-related risk, with non-optimal cholesterol shifting from a distinct feature of high-income countries in northwestern Europe, north America and Australasia to one that affects countries in east and southeast Asia and Oceania should motivate the use of population-based policies and personal interventions to improve nutrition and enhance access to treatment throughout the world.Peer reviewe

Global variations in diabetes mellitus based on fasting glucose and haemogloblin A1c

Fasting plasma glucose (FPG) and haemoglobin A1c (HbA1c) are both used to diagnose diabetes, but may identify different people as having diabetes. We used data from 117 population-based studies and quantified, in different world regions, the prevalence of diagnosed diabetes, and whether those who were previously undiagnosed and detected as having diabetes in survey screening had elevated FPG, HbA1c, or both. We developed prediction equations for estimating the probability that a person without previously diagnosed diabetes, and at a specific level of FPG, had elevated HbA1c, and vice versa. The age-standardised proportion of diabetes that was previously undiagnosed, and detected in survey screening, ranged from 30% in the high-income western region to 66% in south Asia. Among those with screen-detected diabetes with either test, the agestandardised proportion who had elevated levels of both FPG and HbA1c was 29-39% across regions; the remainder had discordant elevation of FPG or HbA1c. In most low- and middle-income regions, isolated elevated HbA1c more common than isolated elevated FPG. In these regions, the use of FPG alone may delay diabetes diagnosis and underestimate diabetes prevalence. Our prediction equations help allocate finite resources for measuring HbA1c to reduce the global gap in diabetes diagnosis and surveillance.peer-reviewe